The jEdit search dialog box should offer a
[ ] Proximity search
option
Search words within [ 5 ] lines.
http://en.wikipedia.org/wiki/Proximity_search_(text)
I guess this could be mapped to complicated regular expressions.
Submitted | weberjn - 2008-10-17 - 15:58:47z | Assigned | nobody |
---|---|---|---|
Priority | 5 | Category | core |
Status | Open | Group | None |
Resolution | None | Visibility | No |